Demo Abstract: The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems
نویسندگان
چکیده
High-confidence embedded real-time designs stretch the demands placed on design and development tools. We will demonstrate the design and testing of an embedded control system built using the ESMoL modeling language and supporting tools. ESMoL adds distributed deployment concepts to Simulink designs, and integrates scheduling analysis as well as platformspecific simulation. The testing system includes a simulated physical plant running in a hardware-in-the-loop configuration with the actual embedded controller.
منابع مشابه
Building Real-Time Embedded Systems with MetaH and UML [Abstract]
Building evolvable, embedded, time-critical systems with MetaH and UML This tutorial will look at how to develop embedded, time-critical system that can evolve as requirements or technology changes, using MetaH and the Unified Modeling language (UML). MetaH is an architectural design language, with a supporting toolset, for specifying, analyzing, and integrating computer control systems. MetaH ...
متن کاملA Simulation Framework for Design of Mixed Time/Event-Triggered Distributed Control Systems with SystemC/TLM
Mixed time/event-triggered (TT/ET) distributed control systems are complex systems which have emerged in many cyber-physical domains but have been difficult to evaluate at early design stages. In order to reveal design flaws as early as possible, this paper proposes a simulation framework based on an executable virtual platform model in SystemC/TLM. The executable platform is generated using a ...
متن کاملTowards Incremental Cycle Analysis in ESMoL Distributed Control System Models
We consider the problem of incremental cycle analysis for dataflow models in the Embedded Systems Modeling Language (ESMoL). We give a general form of a cycle enumeration algorithm that makes use of graph hierarchy to improve analysis efficiency. Our framework also stores simple connectivity information in the model to accelerate future cycle analyses when additional components are added or mod...
متن کاملTowards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation
While design automation for hardware systems is quite advanced, this is not the case for practical embedded systems. The current state-of-the-art is to use a software modeling environment and integrated development environment for code development and debugging, but these rarely include the sort of automatic synthesis and verification capabilities available in the VLSI domain. We present a mode...
متن کاملModeling and Analysis of Real-Time and Embedded Systems
This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the MODELS/UML 2005 conference. The main themes discussed at this workshop concerned (1) methodologies and tools for quantitative analysis and (2) methodologies and languages for modeling quantitative aspects of real-time a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009